Hybrid systems III - verification and control
- Författare
- (Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (Eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 1996 | Tyskland, New York, Berlin | 618 sidor. ill., diagr. | |
| Springer Berlin Heidelberg | 1996 | Utgivningsland okänt / Ej specificerat | ||
| Springer Berlin Heidelberg, Imprint: Springer | 1996 | Tyskland, Berlin, Heidelberg | 1 online resource (IX, 619 sidor.) |